DisCSP.DistributedCSP.ExternalConstraint
Class ExtEqualConstraint

java.lang.Object
  DisCSP.DistributedCSP.ExternalConstraint.ExtEqualConstraint

All Implemented Interfaces:

ExtBinaryConstraint

public class ExtEqualConstraint

extends java.lang.Object

implements ExtBinaryConstraint

Constructor Summary

ExtEqualConstraint(Variable lv, java.lang.String ev)
Costruttore di ExtEqualConstraint

Method Summary

boolean	check(int v1, int v2) Verifica, dati due interi v1 e v2, se v1==v2
java.lang.String	getExternalVariable() Restituisce il nome della variabile esterna coinvolta nel vincolo
Variable	getLocalVariable() Restituisce la variabile locale coinvolta nel vincolo
java.lang.String	print() Stampa il vincolo

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExtEqualConstraint

public ExtEqualConstraint(Variable lv,
                          java.lang.String ev)
                   throws NotBinaryConstrException

Costruttore di ExtEqualConstraint

Parameters:

lv - la variabile locale coinvolta nel vincolo

Method Detail

check

public boolean check(int v1,
                     int v2)

Verifica, dati due interi v1 e v2, se v1==v2

Specified by:

check in interface ExtBinaryConstraint

Parameters:

v1 - il primo intero

v2 - il secondo intero

Returns:

true se v1==v2, false altrimenti

getLocalVariable

public Variable getLocalVariable()

Restituisce la variabile locale coinvolta nel vincolo

Specified by:

getLocalVariable in interface ExtBinaryConstraint

Returns:

la variabile locale

getExternalVariable

public java.lang.String getExternalVariable()

Restituisce il nome della variabile esterna coinvolta nel vincolo

Specified by:

getExternalVariable in interface ExtBinaryConstraint

Returns:

la variabile esterna coinvolta nel vincolo

print

public java.lang.String print()

Stampa il vincolo

Specified by:

print in interface ExtBinaryConstraint

Returns:

una stringa rappresentante il vincolo